Mathematical structure - PDFSEARCH.IO - Document Search Engine

Mathematical structure
Results: 1236

#	Item
41	2. PROBLEM SET FOR “DIFFERENTIAL GEOMETRY II” AKA “ANALYSIS AND GEOMETRY ON MANIFOLDS” WINTER TERMProblem 4. Prove the following theorem from class, which defines the product of smooth manifolds. Add to Reading List Source URL: carsten.codimi.de Language: English - Date: 2013-09-23 06:50:59 Topology Mathematics Mathematical analysis Geometric topology Differentiable manifold Smooth structure Manifolds Handle decomposition Complex manifold
42	We present new ideas which attempt to explain why Deep Learning works, taking lessons from Theoretical Chemistry, and integrating ideas from Protein Folding, Renormalization Group, and Quantum Chemistry. We address the i Add to Reading List Source URL: mmds-data.org Language: English - Date: 2016-06-23 15:50:48 Physics Theoretical physics Mathematical physics Quantum field theory Renormalization group Academia Statistical mechanics Protein structure Renormalization Deep learning Protein folding Energy landscape
43	List of Publications M. Hoffmann-Ostenhof 61. Analytic structure of solutions to multiconfiguration equations, with S. Fournais, T. Hoffmann-Ostenhof, T. Ostergaard Sorensen, J. Phys. A), no 31, 315208, 11pp. 60 Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2010-03-18 09:51:13 Physics Mathematical analysis Calculus Waves Schrdinger equation Wave function Eigenfunction Partial differential equation
44	EUROMATSymposia Structure/Area D Title: Multiscale Modeling of Materials Organizer Assoc. Prof. Karakasidis Add to Reading List Source URL: euromat2017.fems.eu Language: English - Date: 2016-07-08 09:56:28 Mathematical modeling Chemistry Multiscale modeling Computational science Computational chemistry Molecular modelling Nature Molecular dynamics Scientific modelling Dissipative particle dynamics Fluid mechanics Coarse-grained modeling
45	Scalable Flow-Based Community Detection for Large-Scale Network Analysis Seung-Hee Bae∗ , Daniel Halperin∗ , Jevin West† , Martin Rosvall‡ and Bill Howe∗ ∗ Department of Computer Science and Engineering, Uni Add to Reading List Source URL: www.jevinwest.org Language: English - Date: 2015-11-11 00:05:03 Mathematics Computational complexity theory NP-complete problems Algorithm Mathematical logic Theoretical computer science Graph partition Community structure Connectivity
46	A separation logic for refining concurrent objects Aaron Turon Mitchell Wand Northeastern University Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-07-15 17:40:28 Logic Mathematical logic Abstraction Model theory Predicate logic Semantics Denotational semantics First-order logic Structure Quantifier Substitution
47	6th International Workshop on Multiple Criteria Decision Making’15, March 22–24, 2015, Ustroń, Poland International Workshop on Multiple Criteria Decision Making (IWoMCDM) is a scientific event organized every two y Add to Reading List Source URL: www.iwomcdm.ue.katowice.pl Language: English - Date: 2014-08-28 07:55:23 Mathematical optimization Multiple-criteria decision analysis Utility Academia Multi-objective optimization Ustro Abstract management Goal programming Structure Knowledge
48	The Building Blocks of Mathematics Dr. Razvan Teodorescu, Department of Mathematics and Statistics Level II The four-week period will be divided into four main themes, consistently reflected in the material discussed, se Add to Reading List Source URL: math.usf.edu Language: English - Date: 2016-02-03 10:48:13 Mathematics competitions Mathematics Mathematics education Science and technology International Mathematical Olympiad International Science Olympiad Structure Mathematical problem Topology
49	Encoding Monomorphic and Polymorphic Types Jasmin Christian Blanchette1 , Sascha Böhme1 , Andrei Popescu1 , and Nicholas Smallbone2 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Logic Mathematical logic Mathematics Automated theorem proving Logic programming Model theory Formal languages Type theory Unification Structure Substitution Symbol
50	Minerva Lecture Series Dates, Times, Locations February, 2014 5:30pm - 7pm Room 507 Math February 28, 2014 Add to Reading List Source URL: www.math.columbia.edu Language: English - Date: 2014-02-06 14:15:52 Calculus Mathematical analysis Statistical mechanics Mathematics Stochastic differential equations Partial differential equations Quantum field theory Regularity structure KardarParisiZhang equation Dynamical system Differential equation Nonlinear system

UPDATE